k-等価性分類法(Huffman-Mealy Reduction Method)
一般の等価性を弱めた
k-等価性
を使って
$ k = 0
から少しずつsimplifyしていく
https://gyazo.com/c321e0bd0a540d9f30981be80b15ac0d